Merge branch 'wip/carlosg/no-ping-serials-for-input' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Fri, 5 Nov 2021 18:34:02 +0000 (18:34 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 5 Nov 2021 18:34:02 +0000 (18:34 +0000)
commita6f173786147eed2430a08309ea46fd6e6716c8a
tree8e6221b519df0538d415bc9965fef4b73913c3b2
parentc78ed25e307469fcc8a8e20f4d9a8f24eea4d955
parentc5ac80be2b2a86cdeb9fcd8dc85cc9c0108c818e
Merge branch 'wip/carlosg/no-ping-serials-for-input' into 'master'

gdk/wayland: Do not use xdg_wm_base.ping serials as "user input" serials

See merge request GNOME/gtk!4122